% Ejercicio "LL(1) - L-atribuida"
\subsection*{\fbox{\theejercicio} - LL(1) - L-atribuida}

Considera la siguiente gram\'atica atribuida:

\begin{center}
\begin{tabular}{|lcll|} \hline
        &               &                                   &                                                                                \\
{\em S} & $\rightarrow$ & {\em C}                           & $\{\ C.tp = 10;\ S.a1 = C.a1\ \}$                                              \\
{\em C} & $\rightarrow$ & {\em C$_1$ C$_2$}                 & $\{\ C_1.tp = C.tp;\ C_2.tp = C.tp;\ C.a1 = max(C_1.a1, C_2.a1)\ \}$           \\
{\em C} & $\rightarrow$ & {\em C$_1$} {\bf sub} {\em C$_2$} & $\{\ C_1.tp = C.tp;\ C_2.tp = contrae(C.tp);\ C.a1 = desp(C_1.a1, C_2.a1)\ \}$ \\
{\em C} & $\rightarrow$ & {\bf texto}                       & $\{\ C.a1 = texto.a \cdot C.tp\ \}$                                            \\
        &               &                                   &                                                                                \\ \hline
\end{tabular}
\end{center}

\begin{enumerate}[1)]
\item ?`Es L-atribuida?. Demuestra la respuesta
\item ?`Se puede realizar entonces un an\'alisis LL(1)?
\item Traslada la siguiente gram\'atica L-atribuida a un esquema de traducci\'on bien definido.
\end{enumerate}

% Solución del ejercicio
\subsubsection*{SOLUCI\'ON}
